Самая большая электронная библиотека рунета. Поиск книг и журналов

Computation and Proof Theory

Автор: , Автор: , Автор:
Размер книги: 1.75 Mb

ISILC logic conference, Kiel, 1974

Автор: , Автор: , Автор:
Категория: Lecture notes
Размер книги: 4.60 Mb